When you have a file open through the Hex plugin, if the
file changes on disk then jEdit does not popup the box
telling you the file changed and asking if you would like
to reload it.
| Submitted | *anonymous - 2002-11-06 23:05:30 | Assigned | akaplan |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2003-05-29 05:27:45 spestov |
- **labels**: 102671 --> |
|---|---|
| 2003-06-17 07:28:54 bemace |
- **assigned_to**: nobody --> akaplan |